Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
471	Chapter 3 Sequent Calculus In this chapter we develop the sequent calculus as a formal system for proof search in natural deduction. The sequent calculus was originally introduced by Gentzen [Gen35], primarily as a tech Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-22 08:01:14 Deduction Natural deduction Curry–Howard correspondence Sequent calculus Entailment Judgment Monotonicity of entailment Soundness Implicational propositional calculus Logic Proof theory Mathematical logic
472	Formal Methods in System Design, 26, 183–196, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Automated Analysis of Fault-Tolerance in Distributed Systems∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-28 15:10:56 Inter-process communication Distributed computing Infinite loop Fault-tolerant computer systems Message passing Function Byzantine fault tolerance State machine replication Computing Computer programming Concurrent computing
473	Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Programming language theory Data types Object-oriented programming Formal methods Polymorphism Mixin Type safety Subtype polymorphism Type system Software engineering Computing Type theory
474	Formal Verification of Maneuver Automata for Parameterized Motion Primitives Daniel Heß, Matthias Althoff, Thomas Sattel Abstract— An increasing amount of robotic systems is developed for safety-critical scenarios, su Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2015-01-04 13:14:18 Ballistics Kinematics Dynamical system Trajectory Physics Classical mechanics Mechanics
475	System and Network Engineering Group, UvA UNIVERSITEIT VAN Add to Reading List Source URL: www.uazone.org Language: English - Date: 2013-09-16 12:44:04 Formal sciences Database management systems Database theory Transaction processing Big data Data architecture HPCC Database Data center Computing Data management Information technology management
476	IBM Software The rise of machine data: Are you prepared? Take action in the Internet of Things through data-in-motion analytics Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2014-03-11 23:40:42 Formal sciences Business intelligence Data analysis Geographic information system Internet of Things Text analytics Big data Surveillance Analytics Technology Science Data management
477	UNION INTERPARLEMENTAIRE INTER-PARLIAMENTARY UNION Association of Secretaries General of Parliaments Add to Reading List Source URL: asgp.co Language: English - Date: 2014-07-02 05:09:07 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
478	On personally appeared in open court before now sitting Add to Reading List Source URL: revwarapps.org Language: English - Date: 2014-05-29 21:21:18 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
479	MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No2 – PUBLIC USE Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2013-03-28 07:57:46 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
480	Media release[removed]Management transactions: Investigation opened against OC Oerlikon Corporation AG, Pfäffikon The SWX Swiss Exchange has instituted a formal investigation against OC Oerlikon Corporation AG, Add to Reading List Source URL: www.six-swiss-exchange.com Language: English - Date: 2007-11-06 12:01:06 Oerlikon Financial system Stock exchange Zurich Finance SWX Europe Financial economics SIX Swiss Exchange SWX Format

UPDATE